Перевод: с английского на русский

с русского на английский

nonmonotonic reasoning

См. также в других словарях:

  • Psychology of Reasoning — The psychology of reasoning is the study of how people reason, often broadly defined as the process of drawing conclusions to inform how people solve problems and make decisions. [Leighton, J. P. (2004). Defining and describing reason, in The… …   Wikipedia

  • nicht monotones Schließen — Nonmonotonic Reasoning; in der ⇡ Künstlichen Intelligenz Methode des Ableitens neuer Fakten aus einer Menge von ⇡ Regeln und Fakten, bei der neue Fakten im Widerspruch zu solchen aus der vorherigen Faktenmenge stehen können. Dieser Widerspruch… …   Lexikon der Economics

  • Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences …   Wikipedia

  • Lógica no monotónica — Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas lógicos tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar una… …   Wikipedia Español

  • Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… …   Wikipedia

  • Nixon diamond — In nonmonotonic reasoning, the Nixon diamond is a scenario in which default assumptions can lead to mutually inconsistent conclusions. This scenario is: usually, Quakers are pacifist usually, Republicans are not pacifist Richard Nixon is both a… …   Wikipedia

  • Logique Défaisable — La logique défaisable est une logique non monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles strictes  elles spécifient qu un fait… …   Wikipédia en Français

  • Logique defaisable — Logique défaisable La logique défaisable est une logique non monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles strictes  elles… …   Wikipédia en Français

  • Logique défaisable — La logique défaisable est une logique non monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles strictes  elles spécifient qu un fait… …   Wikipédia en Français

  • Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… …   Wikipedia

  • Argumentation theory — Argumentation theory, or argumentation, embraces the arts and sciences of civil debate, dialogue, conversation, and persuasion; studying rules of inference, logic, and procedural rules in both artificial and real world settings. Argumentation is… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»